Expressing discrete spatial relations under granularity

The logic UBiSKt is a bi-intuitionistic modal with universal modalities having semantics in which formulae are interpreted as subgraphs. We use the to formalize idea of looking at subgraphs different levels detail. show how can be used define various spatial relations between These considered respect change level an existing formulation generalized partitions on graphs and hypergraphs terms give novel generalization classical S5 we call UBiSKtS5.